Intensional logic approach to predicate logic Instance Of [Logical system](https://wiki.org.ai/Logical system) Properties Property Value Subclass of Logical system External Links View on Wikidata View on Wikipedia